Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
81	Trying Again to Fail-First J. Christopher Beck , Patrick Prosser and Richard J. Wallace Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Heuristic function Heuristic Artificial intelligence Constraint satisfaction problem Local consistency Backtracking Science Innovation Constraint programming Heuristics Operations research
82	Vehicle Routing and Job Shop Scheduling: What’s the difference?∗ J. Christopher Beck Patrick Prosser and Evgeny Selensky Cork Constraint Computation Center Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Theoretical computer science Vehicle routing problem Job shop scheduling Scheduling Linear programming Guided Local Search Constraint satisfaction Optimization problem Mathematical optimization Operations research Applied mathematics Mathematics
83	Evaluating Resilience Strategies Based on an Evolutionary Multi-agent System Kazuhiro Minami, Tomoya Tanjo, and Hiroshi Maruyama Institute of Statistical Mathematics, Tokyo, Japan Email: {kminami, tanjo, hm2}@ism.ac.jp Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-10-28 05:43:11 Artificial intelligence Multi-agent systems Mathematical optimization Agent-based model Constraint satisfaction problem Genetic algorithm Psychological resilience Computing Constraint programming Complex systems theory Science
84	Connectionism: Representation PHIL/PSYCH 256 INTRODUCTION TO COGNITIVE SCIENCE Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2010-10-25 15:41:37 Cybernetics Neuroscience Learning Cognitive science Connectionism Philosophy of artificial intelligence Artificial neural network Backpropagation Constraint satisfaction problem Computational neuroscience Neural networks Science
85	CLP(Intervals) Revisited 1 F. Benhamou D. McAllester P. Van Hentenryck Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2006-08-07 20:12:27 Software engineering Interval arithmetic Constraint logic programming Local consistency Antiderivative Interval Mean value theorem Constraint satisfaction problem Constraint algorithm Constraint programming Mathematics Mathematical analysis
86	Banshee: A Scalable Constraint-Based Analysis Toolkit? John Kodumal1 and Alex Aiken2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-06-06 18:55:41 Computing Constraint satisfaction problem Backtracking Constraint graph Prolog Constraint Type system Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
87	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
88	Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-06-24 17:14:13 Applied mathematics Mathematics Boolean satisfiability problem Local search Constraint satisfaction WalkSAT Theoretical computer science Constraint programming Logic in computer science
89	Journal of Artificial Intelligence Research234 Submitted 8/14; published 1/15 On the Subexponential-Time Complexity of CSP Ronald de Haan Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-01-30 21:27:29 Constraint programming Constraint satisfaction problem Constraint satisfaction Exponential time hypothesis Boolean satisfiability problem NP-complete Tree decomposition Conjunctive normal form Time complexity Theoretical computer science Applied mathematics Computational complexity theory
90	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming

UPDATE